<!-- Note this is used as the header for all plugin pages -->
<html>
<head>
<base href="/" />
<link rel="stylesheet" type="text/css" href="{{css_style_file}}" />

<meta name="viewport" content="width=device-width" />
<script language="javascript" type="text/javascript"
        src="static/jquery-1.7.1.min.js"></script>

<!-- Disable text selection which is a problem with touch screens  -->
<script>
//<![CDATA[
function DisableTextSelection(node)
{
    node.style.cursor = "default";

    if (typeof(node.onselectstart) != "undefined")
    {   // IE
	node.onselectstart = function() {return false;};
    }
    else if (typeof(target.style.MozUserSelect) != "undefined")
    {   // FF
	node.style.MozUserSelect = "none";
    }
    else
    {   // OPERA
	node.onmousedown = function() {return false;};
    }
}

function DisableTextSelectionInBody()
{
    DisableTextSelectionInBody(document.body);
}

//]]>
</script>

<title>{{service_name}}: {{plugin_name}} {{plugin_extra}}</title>
</head>



<body>

{% block header %}
{% for t in plugins %}
<a href="{{t['url']}}">
           <span class=toolbelt>{{t['name']}}</span>
  </a>
{% end %}
<h1><a href="about/">{{service_name}}: {{plugin_name}} {{plugin_extra}}</a></h1>
{% end %}

{% block content %}

{% end %}

{% block footer %}

{% end %}
</body>
</html>
